منابع مشابه
Reasoning by Analogy via Abstraction Reasoning by Analogy via Abstraction
theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...
متن کاملReasoning and learning by analogy.
Analogy is a powerful cognitive mechanism that people use to make inferences and learn new abstractions. The history of work on analogy in modern cognitive science is sketched, focusing on contributions from cognitive psychology, artificial intelligence, and philosophy of science. This review sets the stage for the 3 articles that follow in this Science Watch section.
متن کاملAnalogy and Automated Reasoning Analogy and Automated Reasoning
We survey the state of the art in the use of analogy in automated reasoning. We are particularly interested in the work of Melis and Whittle (1998). A detailed analysis of their analogy mechanism is given. The problem domain that they tackled is inductive theorems. We examine whether their technique can be used in other problems domains, e.g. in the domain of limit theorems and group theory.
متن کاملA Paradigm for Reasoning by Analogy
A paradigm enabling heurist ic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify i t s search for a solu t ion is outl ined. It is developed in deta i l for a f i rs t -order resolution logic theorem prover. Descriptions of the paradigm, implemented LISP programs, and preliminary experimental results are pr...
متن کاملA Hybrid Model of Reasoning by Analogy*
This chapter describes an attempt to model human analogical reasoning at the level of behavioral constraints (Palmer, 1989) (i.e., the aim is to develop a computational model which will reflect people's observable behavior). In order to be more concrete, I will elaborate on reasoning by analogy only in a problem-solving task, although some of the proposals could still be valid in other kinds of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bond Law Review
سال: 1997
ISSN: 2202-4824,1033-4505
DOI: 10.53300/001c.5299